Moves Newsletter

The MoVES project on Modelling, Verification and Evolution of Software has entered its last year and this is already the fourth edition of the MoVES newsletter. In this month’s issue we focus on the work package on “Consistency Checking and Co-Evolution” and also seize the opportunity to zoom in on some of the research topics that are currently under active investigation at UCL university in Louvain-la-Neuve. In particular, this newsletter contains contributions by Dr. Andy Kellens et al. on co-evolution of source code and structural design regularities (a collaboration between UCL and VUB), by Dr. Ragnhild Van Der Straeten et al. on consistency checking and inconsistency management in model-driven engineering (a collaboration between UMONS and VUB), by Dr. Anthony Cleve on a conceptual approach to database applications evolution (a collaboration between FUNDP and INRIA), by Arnaud Hubaux on inconsistency management in feature configuration workflows and by Anne Keller et al. on change impact analysis for UML model maintenance. Dedicated contributions from UCL include research on language engineering for dynamic software evolution conducted by the RELEASeD research group headed by Prof. Kim Mens, research on constraint-based modelling at the Constraint Group lead by Prof. Yves Deville, research on Formal Verification of Complex Software Systems at the Louvain Verification Lab headed by Prof. Charles Pecheur, and finally research on Model-Driven System Engineering conducted by Prof. Axel van Lamsweerde and his team.